University of Bath - PDFSEARCH.IO - Document Search Engine

University of Bath
Results: 534

#	Item
491	REML estimation of penalized GLMs Simon Wood Mathematical Sciences, University of Bath, U.K. A model for octane rating Add to Reading List Source URL: www.maths.bath.ac.uk Language: English - Date: 2012-05-08 06:36:07 Estimation theory Statistical theory Restricted maximum likelihood
492	Clay, J[removed]Preparing for Effective Adoption and Use of Ebooks in Education. Other. UKOLN, University of Bath. Link to official URL (if available): http://blog.observatory.jisc.ac.uk/techwatch-reports/ebooks-ineducat Add to Reading List Source URL: opus.bath.ac.uk Language: English - Date: 2014-01-31 10:20:07 E-book Web fiction Digital rights management Amazon Kindle Joint Information Systems Committee Mobipocket Librarian Electronic publishing Publishing Media technology
493	Generalized Additive Smooth Modelling Simon Wood Mathematical Sciences, University of Bath, U.K. Example: brain scan data Add to Reading List Source URL: www.maths.bath.ac.uk Language: English - Date: 2007-09-20 06:37:16 Generalized linear model Smoothing spline Spline Additive model Smoothing Logit Exponential family Statistics Regression analysis Generalized additive model
494	Masked Heroes: endogenous anonymity in charitable giving∗ Mike W. Peacey† University of Bristol and University of Bath Add to Reading List Source URL: seis.bris.ac.uk Language: English - Date: 2013-12-16 07:43:26 Fundraising Signalling theory Biology Zoology Social economy Sperm donation Blood donation Philanthropy Anonymity Donation
495	27 January 2007, ACM Transactions on Computational Logic, Vol. 8 (1:1), 2007, pp. 1–64 A System of Interaction and Structure Alessio Guglielmi University of Bath Bath BA2 7AY Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:38:50 Noncommutative logic Linear logic Natural deduction Substructural logic Cut-elimination theorem Sequent Curry–Howard correspondence Deep inference Admissible rule Logic Mathematical logic Proof theory
496	AG15 RED AND BLUE Alessio Guglielmi (TU Dresden and University of Bath[removed]This note needs to be read in colour to be meaningful! Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:37:48 Non-classical logic Logical connectives Propositional calculus Boolean algebra Linear logic Negation Sequent calculus Modal logic Deep inference Logic Mathematical logic Proof theory
497	AG16 SOME NEWS ON SUBATOMIC LOGIC Alessio Guglielmi (TU Dresden and University of Bath[removed]After our experience with the calculus of structures (CoS) [WS], we Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:37:51 Non-classical logic Boolean algebra Substructural logic Logical connectives Negation Linear logic Rule of inference Modal logic Noncommutative logic Logic Mathematical logic Propositional calculus
498	THE PROBLEM OF BUREAUCRACY AND IDENTITY OF PROOFS FROM THE PERSPECTIVE OF DEEP INFERENCE Alessio Guglielmi (TU Dresden and University of Bath[removed]Abstract Deep inference offers possibilities for getting rid of muc Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:37:47 Propositional calculus Boolean algebra Logic in computer science Lambda calculus Proof theory Combinatory logic Modal logic Negation Logic Mathematical logic Mathematics
499	Raspberry Pi Controlled Microscope Aims • Open Source Microscope • High quality images Add to Reading List Source URL: www.openlabtools.org Language: English - Date: 2013-09-12 06:42:36 Electronics 3D printing RepRap Project University of Bath MakerBot Industries Leadscrew Arduino Raspberry Pi 3D Technology Solid freeform fabrication Business
500	Reflecting on Yesterday, Understanding Today, Planning for Tomorrow Brian Kelly* and Paul Hollins+ * UKOLN, University of Bath, Bath, UK {[removed]} + Cetis, University of Bolton, Bolton, UK {P.A.Hollins@bolto Add to Reading List Source URL: opus.bath.ac.uk Language: English - Date: 2013-07-05 06:23:02 Academic publishing Education in the United Kingdom JISC CETIS Joint Information Systems Committee UKOLN Institutional repository Open educational resources Open access New Media Consortium Academia Education Knowledge

UPDATE